Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Olga Kouchnarenko »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Olfa Mosbahi < Olga Kouchnarenko < Olga Sorkine-Hornung  Facettes :

List of bibliographic references indexed by Olga Kouchnarenko

Number of relevant bibliographic references: 64.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000249 (2015-11-03) Olga Kouchnarenko [France] ; Jean-François Weber [France]Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
000377 (2015-08-25) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
000622 (2015-03) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A rule-based system for automatic decidability and combinability
000851 (2014-12-02) Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
000960 (2014-09-09) Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France]Verifying Modal Workflow Specifications Using Constraint Solving
000C07 (2014-04-12) Arnaud Lanoix [France] ; Olga Kouchnarenko [France]Component Substitution through Dynamic Reconfigurations
000D86 (2014) Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France]A random testing approach using pushdown automata
000E77 (2014) Olga Kouchnarenko [France] ; Jean-Francois Weber [France]Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime
000F17 (2013-12-02) Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France]A Random Testing Approach Using Pushdown Automata
000F61 (2013-10-28) Olga Kouchnarenko [France] ; Jean-Francois Weber [France]Adapting Component-based Systems at Runtime via Policies with Temporal Patterns
001097 (2013-07-16) Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Enhancing Approximations for Regular Reachability Analysis
001153 (2013-06-23) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
001171 (2013-06-10) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories with Counting Operators
001277 (2013-03-18) Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Random Grammar-based Testing for Covering All Non-Terminals
001873 (2012-11) Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France]Automatic Decidability for Theories Modulo Integer Offsets
001959 (2012-09-07) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]Loops and overloops for Tree Walking Automata
001A18 (2012-07-17) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]On Positive TAGED with a Bounded Number of Constraints
001A53 (2012-06-26) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]From Linear Temporal Logic Properties to Rewrite Propositions
001C02 (2012-03-24) Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France]A Rule-Based Framework for Building Superposition-Based Decision Procedures
002057 (2011-10-14) Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France]From Linear Temporal Logic Properties to Rewrite Propositions
002128 (2011-09-14) Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France]Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Olga Kouchnarenko" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Olga Kouchnarenko" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Olga Kouchnarenko
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022